On the Landau-de Gennes Elastic Energy of a Q-Tensor Model for Soft Biaxial Nematics

In the Landau–de Gennes theory of liquid crystals, the propensities for alignments of molecules are represented at each point of the fluid by an element Q of the vector space S0 of 3 × 3 real symmetric traceless matrices, or Q-tensors. According to Longa and Trebin [25], a biaxial nematic system is called soft biaxial if the tensor order parameter Q satisfies the constraint tr(Q) = const. After the introduction of a Q-tensor model for soft biaxial nematic systems and the description of its geometric structure, we address the question of coercivity for the most common four-elastic-constant form of the Landau–de Gennes elastic free-energy [4, 20, 35, 38] in this model. For a soft biaxial nematic system, the tensor field Q takes values in a four-dimensional sphere Sρ of radius ρ ≤ √ 2/3 in the five-dimensional space S0 with inner product 〈Q,P〉 = tr(QP). The rotation group SO(3) acts orthogonally on S0 by conjugation and hence induces an action on Sρ ⊂ S0. This action has generic orbits of codimension one that are diffeomorphic to an eightfold quotient S/H of the unit three-sphere S, where H = {±1,±i,±j,±k} is the quaternion group, and has two degenerate orbits of codimension two that are diffeomorphic to the projective plane RP . Each generic orbit can be interpreted as the order parameter space of a constrained biaxial nematic system and each singular orbit as the order parameter space of a constrained uniaxial nematic system [37, 38]. It turns out that Sρ is a cohomogeneity one manifold, i.e., a manifold with a group action whose orbit space is one-dimensional [1, 19, 34]. Another important geometric feature of the model is that the set Σρ of diagonal Q-tensors of fixed norm ρ is a (geodesic) great circle in Sρ which meets every orbit of Sρ orthogonally and is then a section for Sρ in the sense of the general theory of canonical forms [42, 43]. We compute necessary and sufficient coercivity conditions for the elastic energy by exploiting the SO(3)-invariance of the elastic energy (frame-indifference), the existence of the section Σρ for Sρ, and the geometry of the model, which allow us to reduce to a suitable invariant problem on (an arc of) Σρ. Our approach can ultimately be seen as an application of the general method of reduction of variables, or cohomogeneity method [18, 19].